<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<link rel="stylesheet" href="style.css" type="text/css">
<meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type">
<link rel="Start" href="index.html">
<link rel="next" href="Generated.Parser.html">
<link rel="Up" href="Generated.html">
<link title="Index of types" rel=Appendix href="index_types.html">
<link title="Index of exceptions" rel=Appendix href="index_exceptions.html">
<link title="Index of values" rel=Appendix href="index_values.html">
<link title="Index of modules" rel=Appendix href="index_modules.html">
<link title="Index of module types" rel=Appendix href="index_module_types.html">
<link title="Castling" rel="Chapter" href="Castling.html">
<link title="Generated" rel="Chapter" href="Generated.html"><title>Generated.AST</title>
</head>
<body>
<div class="navbar">&nbsp;<a href="Generated.html">Up</a>
&nbsp;<a href="Generated.Parser.html">Next</a>
</div>
<center><h1>Module <a href="type_Generated.AST.html">Generated.AST</a></h1></center>
<br>
<pre><span class="keyword">module</span> AST: <code class="code">sig</code> <a href="Generated.AST.html">..</a> <code class="code">end</code></pre>This module has abstract syntax tree types and pretty printers.
This name <code class="code">AST</code> depends on argument <code class="code">?ast_module</code> of calling <a href="Castling.ParserGenerator.html#VALgenerate"><code class="code">Castling.ParserGenerator.generate</code></a>.<br>
<hr width="100%">
<br><code><span class="keyword">type</span> <a name="TYPEvariant"></a><code class="type">'a</code> variant = </code><table class="typetable">
<tr>
<td align="left" valign="top" >
<code><span class="keyword">|</span></code></td>
<td align="left" valign="top" >
<code><span class="constructor">X</span> <span class="keyword">of</span> <code class="type">(Token.t option * Token.t option)</code></code></td>

</tr>
<tr>
<td align="left" valign="top" >
<code><span class="keyword">|</span></code></td>
<td align="left" valign="top" >
<code><span class="constructor">Y</span> <span class="keyword">of</span> <code class="type">(('a * 'a) * Token.t option)</code></code></td>

</tr></table>

<div class="info">
Generated types holding abstract syntax tree.
	Names of these types depend on argument of calling <a href="Castling.ParserGenerator.html#VALone_of"><code class="code">Castling.ParserGenerator.one_of</code></a> or syntax.
	This sample was generated from <code class="code">one_of "variant" ["x", element 'x' &gt;&gt; element '1'; "y", position_with (element 'y'); error "z", element 'z']</code>.<br>
</div>

<pre><span class="keyword">val</span> <a name="VALpp_option"></a>pp_option : <code class="type">(Format.formatter -> 'a -> unit) -><br>       paren:bool -> Format.formatter -> 'a option -> unit</code></pre><div class="info">
Pretty printer for <code class="code">'a option</code>.
	This function be generated only if <a href="Castling.ParserGenerator.html#VALpretty_printer"><code class="code">Castling.ParserGenerator.pretty_printer</code></a> was <code class="code">true</code>.<br>
</div>
<pre><span class="keyword">val</span> <a name="VALpp_position_pair"></a>pp_position_pair : <code class="type">(Format.formatter -> 'a -> unit) -> Format.formatter -> 'a * 'a -> unit</code></pre><div class="info">
Pretty printer for pair of positions.
	This function be generated only if <a href="Castling.ParserGenerator.html#VALranged_position"><code class="code">Castling.ParserGenerator.ranged_position</code></a> and <a href="Castling.ParserGenerator.html#VALpretty_printer"><code class="code">Castling.ParserGenerator.pretty_printer</code></a> was <code class="code">true</code>.<br>
</div>
<pre><span class="keyword">val</span> <a name="VALpp_B_position_elt_E"></a>pp_B_position_elt_E : <code class="type">(Format.formatter -> Token.t -> unit) -><br>       (Format.formatter -> 'a -> unit) -><br>       Format.formatter -> ('a * 'a) * Token.t option -> unit</code></pre><div class="info">
Pretty printer for tuple that is parts of abstract syntax tree.
	Names of these functions depend on syntax.
	These functions be generated only if <a href="Castling.ParserGenerator.html#VALpretty_printer"><code class="code">Castling.ParserGenerator.pretty_printer</code></a> was <code class="code">true</code>.<br>
</div>
<pre><span class="keyword">val</span> <a name="VALpp_variant"></a>pp_variant : <code class="type">(Format.formatter -> Token.t -> unit) -><br>       (Format.formatter -> 'a -> unit) -><br>       Format.formatter -> 'a <a href="Generated.AST.html#TYPEvariant">variant</a> -> unit</code></pre><div class="info">
Pretty printer for variant that is parts of abstract syntax tree.
	Names of these functions tree types depend on argument of calling <a href="Castling.ParserGenerator.html#VALone_of"><code class="code">Castling.ParserGenerator.one_of</code></a>.
	These functions be generated only if <a href="Castling.ParserGenerator.html#VALpretty_printer"><code class="code">Castling.ParserGenerator.pretty_printer</code></a> was <code class="code">true</code>.<br>
</div>
<pre><span class="keyword">val</span> <a name="VALpp_result"></a>pp_result : <code class="type">(Format.formatter -> Token.t -> unit) -><br>       (Format.formatter -> 'a -> unit) -><br>       Format.formatter -> 'a <a href="Generated.AST.html#TYPEvariant">variant</a> -> unit</code></pre><div class="info">
Pretty printer for abstract syntax tree that is result of parsing.
	This function be generated only if <a href="Castling.ParserGenerator.html#VALpretty_printer"><code class="code">Castling.ParserGenerator.pretty_printer</code></a> was <code class="code">true</code>.<br>
</div>
</body></html>